Перевод: с французского на все языки

со всех языков на французский

we have no proof of that yet

См. также в других словарях:

  • Proof of impossibility — A proof of impossibility, sometimes called a negative proof or negative result , is a proof demonstrating that a particular problem cannot be solved, or cannot be solved in general. Often proofs of impossibility have put to rest decades or… …   Wikipedia

  • Proof — • The establishment of a disputed or controverted matter by lawful means or arguments. Catholic Encyclopedia. Kevin Knight. 2006. Proof     Proof      …   Catholic encyclopedia

  • Proof-of-work system — A Proof of work ( POW ) system (or protocol, or function) is an economic measure to deter denial of service attacks and other service abuses such as spams on a network by requiring some work from the service requester, usually meaning processing… …   Wikipedia

  • Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… …   Wikipedia

  • Zero-knowledge proof — In cryptography, a zero knowledge proof or zero knowledge protocol is an interactive method for one party to prove to another that a (usually mathematical) statement is true, without revealing anything other than the veracity of the statement.A… …   Wikipedia

  • Constructive proof — In mathematics, a constructive proof is a method of proof that demonstrates the existence of a mathematical object with certain properties by creating or providing a method for creating such an object. This is in contrast to a nonconstructive… …   Wikipedia

  • Computer-assisted proof — A computer assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer aided proofs to date have been implementations of large proofs by exhaustion of a mathematical theorem. The idea is to use a… …   Wikipedia

  • Man-Proof — Promotional poster Directed by Richard Thorpe Produced by …   Wikipedia

  • False Decretals — • A name given to certain apocryphal papal letters contained in a collection of canon laws composed about the middle of the ninth century by an author who uses the pseudonym of Isidore Mercator, in the opening preface to the collection Catholic… …   Catholic encyclopedia

  • Josip Plemelj — Infobox Person name=Josip Plemelj caption=Josip Plemelj as a student in Vienna, 1896deletable image caption quotation= birth date=birth date|1873|12|11|mf=y birth place=Grad na Bledu, Slovenia dead=dead death date=death date and… …   Wikipedia

  • Notable real and alleged Ku Klux Klan members in national politics — This article discusses notable figures in U.S. national politics who were, or have been alleged by some to be, members of the Ku Klux Klan prior to their public careers. No one serving as a federal judge or senior official in the 1920s is known… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»